; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = or i64 520276322, %"SymVar_0"
  %".5" = and i64 528979890, %".4"
  %".6" = and i64 %".5", %"SymVar_0"
  %".7" = and i64 7, %".6"
  %".8" = zext i8 2 to i64
  %".9" = and i64 %".8", 63
  %".10" = shl i64 %".7", %".9"
  %".11" = zext i8 57 to i64
  %".12" = and i64 %".11", 63
  %".13" = shl i64 %".6", %".12"
  %".14" = zext i8 7 to i64
  %".15" = and i64 %".14", 63
  %".16" = lshr i64 %".6", %".15"
  %".17" = or i64 %".13", %".16"
  %".18" = sext i64 107672031 to i128
  %".19" = sext i64 %"SymVar_0" to i128
  %".20" = mul i128 %".18", %".19"
  %".21" = trunc i128 %".20" to i64
  %".22" = add i64 %".17", %".21"
  %".23" = or i64 %".10", %".22"
  %".24" = lshr i64 %".23", 56
  %".25" = trunc i64 %".24" to i8
  %".26" = zext i8 %".25" to i32
  %".27" = zext i32 %".26" to i64
  %".28" = trunc i64 %".27" to i8
  %".29" = zext i8 %".28" to i32
  %".30" = zext i32 %".29" to i64
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i32
  %".33" = zext i32 %".32" to i64
  %".34" = trunc i64 %".33" to i8
  %".35" = zext i8 %".34" to i32
  %".36" = zext i32 %".35" to i64
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i64
  %".39" = lshr i64 %".23", 8
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = shl i64 %".41", 8
  %".43" = or i64 %".38", %".42"
  %".44" = lshr i64 %".23", 16
  %".45" = trunc i64 %".44" to i8
  %".46" = zext i8 %".45" to i64
  %".47" = shl i64 %".46", 16
  %".48" = or i64 %".43", %".47"
  %".49" = lshr i64 %".23", 24
  %".50" = trunc i64 %".49" to i8
  %".51" = zext i8 %".50" to i64
  %".52" = shl i64 %".51", 24
  %".53" = or i64 %".48", %".52"
  %".54" = lshr i64 %".23", 32
  %".55" = trunc i64 %".54" to i8
  %".56" = zext i8 %".55" to i64
  %".57" = shl i64 %".56", 32
  %".58" = or i64 %".53", %".57"
  %".59" = lshr i64 %".23", 40
  %".60" = trunc i64 %".59" to i8
  %".61" = zext i8 %".60" to i64
  %".62" = shl i64 %".61", 40
  %".63" = or i64 %".58", %".62"
  %".64" = lshr i64 %".23", 48
  %".65" = trunc i64 %".64" to i8
  %".66" = zext i8 %".65" to i64
  %".67" = shl i64 %".66", 48
  %".68" = or i64 %".63", %".67"
  %".69" = trunc i64 %".23" to i8
  %".70" = zext i8 %".69" to i32
  %".71" = zext i32 %".70" to i64
  %".72" = trunc i64 %".71" to i8
  %".73" = zext i8 %".72" to i32
  %".74" = zext i32 %".73" to i64
  %".75" = trunc i64 %".74" to i8
  %".76" = zext i8 %".75" to i64
  %".77" = shl i64 %".76", 56
  %".78" = or i64 %".68", %".77"
  %".79" = zext i8 %".37" to i64
  %".80" = zext i8 %".40" to i64
  %".81" = shl i64 %".80", 8
  %".82" = or i64 %".79", %".81"
  %".83" = zext i8 %".45" to i64
  %".84" = shl i64 %".83", 16
  %".85" = or i64 %".82", %".84"
  %".86" = zext i8 %".50" to i64
  %".87" = shl i64 %".86", 24
  %".88" = or i64 %".85", %".87"
  %".89" = zext i8 %".55" to i64
  %".90" = shl i64 %".89", 32
  %".91" = or i64 %".88", %".90"
  %".92" = zext i8 %".60" to i64
  %".93" = shl i64 %".92", 40
  %".94" = or i64 %".91", %".93"
  %".95" = zext i8 %".65" to i64
  %".96" = shl i64 %".95", 48
  %".97" = or i64 %".94", %".96"
  %".98" = zext i8 %".75" to i64
  %".99" = shl i64 %".98", 56
  %".100" = or i64 %".97", %".99"
  %".101" = and i64 7, %".100"
  %".102" = zext i8 2 to i64
  %".103" = and i64 %".102", 63
  %".104" = shl i64 %".101", %".103"
  %".105" = add i64 %".22", %".22"
  %".106" = add i64 %".105", %".105"
  %".107" = or i64 %".104", %".106"
  %".108" = lshr i64 %".107", 56
  %".109" = trunc i64 %".108" to i8
  %".110" = zext i8 %".109" to i32
  %".111" = zext i32 %".110" to i64
  %".112" = trunc i64 %".111" to i8
  %".113" = zext i8 %".112" to i32
  %".114" = zext i32 %".113" to i64
  %".115" = trunc i64 %".114" to i8
  %".116" = zext i8 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i8
  %".119" = zext i8 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i64
  %".123" = lshr i64 %".107", 8
  %".124" = trunc i64 %".123" to i8
  %".125" = zext i8 %".124" to i64
  %".126" = shl i64 %".125", 8
  %".127" = or i64 %".122", %".126"
  %".128" = lshr i64 %".107", 16
  %".129" = trunc i64 %".128" to i8
  %".130" = zext i8 %".129" to i64
  %".131" = shl i64 %".130", 16
  %".132" = or i64 %".127", %".131"
  %".133" = lshr i64 %".107", 24
  %".134" = trunc i64 %".133" to i8
  %".135" = zext i8 %".134" to i64
  %".136" = shl i64 %".135", 24
  %".137" = or i64 %".132", %".136"
  %".138" = lshr i64 %".107", 32
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i64
  %".141" = shl i64 %".140", 32
  %".142" = or i64 %".137", %".141"
  %".143" = lshr i64 %".107", 40
  %".144" = trunc i64 %".143" to i8
  %".145" = zext i8 %".144" to i64
  %".146" = shl i64 %".145", 40
  %".147" = or i64 %".142", %".146"
  %".148" = lshr i64 %".107", 48
  %".149" = trunc i64 %".148" to i8
  %".150" = zext i8 %".149" to i64
  %".151" = shl i64 %".150", 48
  %".152" = or i64 %".147", %".151"
  %".153" = trunc i64 %".107" to i8
  %".154" = zext i8 %".153" to i32
  %".155" = zext i32 %".154" to i64
  %".156" = trunc i64 %".155" to i8
  %".157" = zext i8 %".156" to i32
  %".158" = zext i32 %".157" to i64
  %".159" = trunc i64 %".158" to i8
  %".160" = zext i8 %".159" to i64
  %".161" = shl i64 %".160", 56
  %".162" = or i64 %".152", %".161"
  %".163" = and i64 %".78", %".162"
  %".164" = and i64 31, %".163"
  %".165" = zext i8 4 to i64
  %".166" = and i64 %".165", 63
  %".167" = shl i64 %".164", %".166"
  %".168" = zext i8 %".37" to i64
  %".169" = zext i8 %".40" to i64
  %".170" = shl i64 %".169", 8
  %".171" = or i64 %".168", %".170"
  %".172" = zext i8 %".45" to i64
  %".173" = shl i64 %".172", 16
  %".174" = or i64 %".171", %".173"
  %".175" = zext i8 %".50" to i64
  %".176" = shl i64 %".175", 24
  %".177" = or i64 %".174", %".176"
  %".178" = zext i8 %".55" to i64
  %".179" = shl i64 %".178", 32
  %".180" = or i64 %".177", %".179"
  %".181" = zext i8 %".60" to i64
  %".182" = shl i64 %".181", 40
  %".183" = or i64 %".180", %".182"
  %".184" = zext i8 %".65" to i64
  %".185" = shl i64 %".184", 48
  %".186" = or i64 %".183", %".185"
  %".187" = zext i8 %".75" to i64
  %".188" = shl i64 %".187", 56
  %".189" = or i64 %".186", %".188"
  %".190" = and i64 %".6", %".189"
  %".191" = and i64 31, %".190"
  %".192" = zext i8 4 to i64
  %".193" = and i64 %".192", 63
  %".194" = shl i64 %".191", %".193"
  %".195" = or i64 %".194", %".5"
  %".196" = or i64 %".167", %".195"
  %".197" = zext i8 1 to i64
  %".198" = and i64 %".197", 63
  %".199" = lshr i64 %".6", %".198"
  %".200" = and i64 15, %".199"
  %".201" = or i64 1, %".200"
  %".202" = sub i64 64, %".201"
  %".203" = trunc i64 %".202" to i8
  %".204" = zext i8 %".203" to i64
  %".205" = and i64 %".204", 63
  %".206" = shl i64 %".196", %".205"
  %".207" = zext i8 1 to i64
  %".208" = and i64 %".207", 63
  %".209" = lshr i64 %".6", %".208"
  %".210" = and i64 15, %".209"
  %".211" = or i64 1, %".210"
  %".212" = trunc i64 %".211" to i8
  %".213" = zext i8 %".212" to i64
  %".214" = and i64 %".213", 63
  %".215" = lshr i64 %".196", %".214"
  %".216" = or i64 %".206", %".215"
  %".217" = zext i8 %".121" to i64
  %".218" = zext i8 %".124" to i64
  %".219" = shl i64 %".218", 8
  %".220" = or i64 %".217", %".219"
  %".221" = zext i8 %".129" to i64
  %".222" = shl i64 %".221", 16
  %".223" = or i64 %".220", %".222"
  %".224" = zext i8 %".134" to i64
  %".225" = shl i64 %".224", 24
  %".226" = or i64 %".223", %".225"
  %".227" = zext i8 %".139" to i64
  %".228" = shl i64 %".227", 32
  %".229" = or i64 %".226", %".228"
  %".230" = zext i8 %".144" to i64
  %".231" = shl i64 %".230", 40
  %".232" = or i64 %".229", %".231"
  %".233" = zext i8 %".149" to i64
  %".234" = shl i64 %".233", 48
  %".235" = or i64 %".232", %".234"
  %".236" = zext i8 %".159" to i64
  %".237" = shl i64 %".236", 56
  %".238" = or i64 %".235", %".237"
  %".239" = zext i8 %".37" to i64
  %".240" = zext i8 %".40" to i64
  %".241" = shl i64 %".240", 8
  %".242" = or i64 %".239", %".241"
  %".243" = zext i8 %".45" to i64
  %".244" = shl i64 %".243", 16
  %".245" = or i64 %".242", %".244"
  %".246" = zext i8 %".50" to i64
  %".247" = shl i64 %".246", 24
  %".248" = or i64 %".245", %".247"
  %".249" = zext i8 %".55" to i64
  %".250" = shl i64 %".249", 32
  %".251" = or i64 %".248", %".250"
  %".252" = zext i8 %".60" to i64
  %".253" = shl i64 %".252", 40
  %".254" = or i64 %".251", %".253"
  %".255" = zext i8 %".65" to i64
  %".256" = shl i64 %".255", 48
  %".257" = or i64 %".254", %".256"
  %".258" = zext i8 %".75" to i64
  %".259" = shl i64 %".258", 56
  %".260" = or i64 %".257", %".259"
  %".261" = or i64 %".238", %".260"
  %".262" = and i64 15, %".261"
  %".263" = or i64 1, %".262"
  %".264" = sub i64 64, %".263"
  %".265" = trunc i64 %".264" to i8
  %".266" = zext i8 %".265" to i64
  %".267" = and i64 %".266", 63
  %".268" = lshr i64 %".216", %".267"
  %".269" = zext i8 1 to i64
  %".270" = and i64 %".269", 63
  %".271" = lshr i64 %".6", %".270"
  %".272" = and i64 15, %".271"
  %".273" = or i64 1, %".272"
  %".274" = sub i64 64, %".273"
  %".275" = trunc i64 %".274" to i8
  %".276" = zext i8 %".275" to i64
  %".277" = and i64 %".276", 63
  %".278" = shl i64 %".196", %".277"
  %".279" = zext i8 1 to i64
  %".280" = and i64 %".279", 63
  %".281" = lshr i64 %".6", %".280"
  %".282" = and i64 15, %".281"
  %".283" = or i64 1, %".282"
  %".284" = trunc i64 %".283" to i8
  %".285" = zext i8 %".284" to i64
  %".286" = and i64 %".285", 63
  %".287" = lshr i64 %".196", %".286"
  %".288" = or i64 %".278", %".287"
  %".289" = zext i8 %".121" to i64
  %".290" = zext i8 %".124" to i64
  %".291" = shl i64 %".290", 8
  %".292" = or i64 %".289", %".291"
  %".293" = zext i8 %".129" to i64
  %".294" = shl i64 %".293", 16
  %".295" = or i64 %".292", %".294"
  %".296" = zext i8 %".134" to i64
  %".297" = shl i64 %".296", 24
  %".298" = or i64 %".295", %".297"
  %".299" = zext i8 %".139" to i64
  %".300" = shl i64 %".299", 32
  %".301" = or i64 %".298", %".300"
  %".302" = zext i8 %".144" to i64
  %".303" = shl i64 %".302", 40
  %".304" = or i64 %".301", %".303"
  %".305" = zext i8 %".149" to i64
  %".306" = shl i64 %".305", 48
  %".307" = or i64 %".304", %".306"
  %".308" = zext i8 %".159" to i64
  %".309" = shl i64 %".308", 56
  %".310" = or i64 %".307", %".309"
  %".311" = zext i8 %".37" to i64
  %".312" = zext i8 %".40" to i64
  %".313" = shl i64 %".312", 8
  %".314" = or i64 %".311", %".313"
  %".315" = zext i8 %".45" to i64
  %".316" = shl i64 %".315", 16
  %".317" = or i64 %".314", %".316"
  %".318" = zext i8 %".50" to i64
  %".319" = shl i64 %".318", 24
  %".320" = or i64 %".317", %".319"
  %".321" = zext i8 %".55" to i64
  %".322" = shl i64 %".321", 32
  %".323" = or i64 %".320", %".322"
  %".324" = zext i8 %".60" to i64
  %".325" = shl i64 %".324", 40
  %".326" = or i64 %".323", %".325"
  %".327" = zext i8 %".65" to i64
  %".328" = shl i64 %".327", 48
  %".329" = or i64 %".326", %".328"
  %".330" = zext i8 %".75" to i64
  %".331" = shl i64 %".330", 56
  %".332" = or i64 %".329", %".331"
  %".333" = or i64 %".310", %".332"
  %".334" = and i64 15, %".333"
  %".335" = or i64 1, %".334"
  %".336" = trunc i64 %".335" to i8
  %".337" = zext i8 %".336" to i64
  %".338" = and i64 %".337", 63
  %".339" = shl i64 %".288", %".338"
  %".340" = or i64 %".268", %".339"
  ret i64 %".340"
}
